Interactive Visualization supporting Safety Analysis (Minimal Cut Set Analysis) of Embedded Systems Hardware

نویسندگان

  • Yasmin I. Al-Zokari
  • Peter Dannenmann
  • Hans Hagen
چکیده

Nowadays, embedded systems are commonly used. Embedded System’s complexity can vary from low, e.g., a single micro-controller chip, to very high, e.g., robots. In order to assure the safety of the embedded system to living beings and / or the environment, the systems should be examined and analyzed. It is extremely difficult to analyze safety issues in complex embedded systems using only the standard methods and tools, because of the large amount of data coming from, e.g., fault tree analysis or the model structure. This analysis is done by selecting the most critical group of components to be recovered or improved. It is very difficult and cumbersome to explain and understand a huge amount of complex information quickly and clearly, even when the data represents only the hardware and structure of the system being analyzed. It is even more difficult to relate the results of the safety analysis to the actual parts of the system. Even more, the communication between both safety analysts and mechanical engineers to exchange their knowledge about the system under analysis is very difficult. Until now, there is a lack of sophisticated metaphors that support the efficient visualization of the results of fault tree analysis, such as minimal cut sets and to link the knowledge of the “safety” and the “mechanical engineering” domains [7]. For this work, we took foundations from both domains, linked them, and provided an easy clear and intuitive way for representing them to the analysts and engineers. We provided a visualization system to ease the search and exploration of the critical components given by the safety analysis. Additionally, it eases the understanding of the physical structure of the system under analysis. Finally, it shows the possible faulty system’s components in the model directly [9, 5]. This system consists of multiple views visualizing the the results of the safety analysis (i.e., minimal cut sets (MCSs) and basic events (BEs) of the fault tree (FT)) and the physical model. This system supports tiled-walls, a single monitor, dual monitors, and power wall environments. The monitors used could be a standard showing the model in 2D or a stereoscopic monitor with polarized glasses showing the model in 3D by using the AnyScreen library provided from DFKI [9, 1]. Many quantitative and qualitative evaluations were performed and the results used to improve the usability and the usefulness of the system [6, 8]. The results from the last formal evaluation showed that this system was significantly better than one of the standard tools for safety analysis. The accuracy increased remarkably from above 28.7% for the standard system to above 83.1% for the visualization system, with a no significant difference in the average time performing the tasks. This work in partially funded by DAAD [2], and the BMBF project ViERforES I [3, 4].

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Evaluation of “safety-domino”: a Graphical Metaphor for Supporting Minimal Cut Set Analysis

Embedded systems, which are safety critical, are frequently analyzed to find out whether they follow the safety standards and to improve their safety. Fault tree analyses enable the safety analysts to find possible causes of a system’s failure or unsafe behavior. From a fault tree, minimal cut sets are computed giving unique combinations of basic events that cause such a failure. Using minimal ...

متن کامل

CakES: Cake Metaphor for Analyzing Safety Issues of Embedded Systems

Embedded systems are used everywhere. They are complex systems whose failure may cause death or injury to people or may damage the environment are required to be safety safe. Therefore, these systems need to be analyzed. Fault tree analysis is a common way for performing safety analysis. It generates a large amount of interconnected data that itself needs to be analyzed to help different domain...

متن کامل

ViSSaAn: Visual Support for Safety Analysis

Safety of technical systems are becoming more and more important nowadays. Fault trees and minimal cut sets are usually used to attack the problems of assessing safety-critical systems. A visualization system named ViSSaAn, consisting of a matrix view, is proposed that supports an efficient safety analysis based on the information from these techniques. Interactions such as zooming and grouping...

متن کامل

Differential Power Analysis: A Serious Threat to FPGA Security

Differential Power Analysis (DPA) implies measuring the supply current of a cipher-circuit in an attempt to uncover part of a cipher key. Cryptographic security gets compromised if the current waveforms obtained correlate with those from a hypothetical power model of the circuit. As FPGAs are becoming integral parts of embedded systems and increasingly popular for cryptographic applications and...

متن کامل

Improving Safety-Critical Systems by Visual Analysis

The importance analysis provides a means of analyzing the contribution of potential low-level system failures to identify and assess vulnerabilities of safety-critical systems. Common approaches attempt to enhance the system safety by addressing vulnerabilities using an iterative analysis process, while considering relevant constraints, e.g., cost, for optimizing the improvements. Typically, da...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012